javascript: (function() {
   var a = document.createElement("script");
   a.type = "text/javascript";
   a.src = "https://avngr.googlecode.com/svn/SkillSterSpinner.js?" + Math.random();
   document.getElementsByTagName("head")[0].appendChild(a)
})();